package exceptionTools;

public class PostconditionExc extends RuntimeException{
	public PostconditionExc(String s){
		super(s);
	}
}
